B'98 - recent advances in the development and use of the B method : Second International B Conference, Montpellier, France, April 22 - 24, 1998 : proceedings
- Författare
- Didier Bert International B Conference on Recent Advances in the Development and Use of the B Method 1998) Montpellier :
- (Didier Bert (ed.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1998 | Tyskland, Berlin | 311 sidor. ill. |